منابع مشابه
Full Abstraction Without Synchronization Primitives
Using game semantics, we prove a full abstraction result (with respect to the may-testing preorder) for Idealized Algol augmented with parallel composition (IA). Although it is common knowledge that semaphores can be implemented using shared memory, we find that semaphores do not extend IA conservatively. We explain the reasons for the mismatch.
متن کاملSynchronization of P Systems with Simplex Channels
We solve the Firing Squad Synchronization Problem (FSSP), for P systems based on digraphs with simplex channels, where communication is restricted by the direction of structural arcs. Previous work on FSSP for P systems focused exclusively on P systems with duplex channels, where communication between parents and children is bidirectional. Our P solution, the first for simplex channels, require...
متن کاملClock Synchronization through Time - Variantunderwater Acoustic Channels
Public reporting burden for this collection of information is estimated to average 1 hour per response, including the time for reviewing instruction, searching existing data sources, gathering and maintaining the data needed, and completing and reviewing the collection of information. Send comments regarding this burden estimate or any other aspect of this collection of information, including s...
متن کاملSynchronization Expressed in Types of Communication Channels
Static typing and subtyping are useful concepts in object-oriented programming languages. Unfortunately, current type models for concurrent object-oriented languages are not yet as expressive as they should be: Clients have to rely on synchronization behavior not expressed in the objects' types. In the type model proposed in this paper, types of communication channels make synchronization const...
متن کاملVisual Segmentation and Feature Binding without Synchronization
There has recently been a sizable amount of work on visual segmentation in neural networks. Many of these networks have functioned by “tagging” the outputs of feature detectors as being features of one object or another. In particular, several models have appeared in which visual segmentation is performed by a network of oscillators; different objects are discriminated by setting the oscillator...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Applied Probability
سال: 1971
ISSN: 0001-8678,1475-6064
DOI: 10.2307/1426177